- parametric definability
- мат.параметрическая определимость
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Denotational semantics — In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach to formalizing the meanings of programming languages by constructing mathematical objects (called denotations)… … Wikipedia